\begin{tabbing}
es{-}decl(${\it es}$;${\it ds}$;${\it da}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=($\forall$$i$:Id. state@$i$ $\subseteq$r (${\it ds}$($i$)))\+
\\[0ex]\& ($\forall$$i$:Id, $k$:Knd. ($\uparrow$hasloc($k$;$i$)) $\Rightarrow$ (kindtype($i$;$k$) $\subseteq$r (${\it da}$($i$,$k$))))
\-
\end{tabbing}